1 STRICT REVERSE MATHEMATICS Draft
نویسنده
چکیده
1. Introduction. 2. Underlying logic of SRM. 3. Conservative and exact extensions, coding. 4. Inevitability of logical strength. 5. A strictly mathematical exact conservative extension of RCA0. 6. Strictly mathematical exact conservative extensions of WKL 0 , ACA 0 , P 1 1-CA 0. 7. SRM over FSZ, FSZE, FSZEXP. 8. Finite set theory for SRM. 9. Weak infinite set theory for countable SRM. 10. 3RM-third order arithmetic comprehension as a base theory for RM. 11. 3RM-third order recursive comprehension as a base theory for RM. 12. Comprehensive conservative extensions of PA that supports coding free RM-the system ALPO. 13. Some exact conservative extensions of RCA 0. 14. General SRM, and the interpretability conjecture.
منابع مشابه
THE INEVITABILITY OF LOGICAL STRENGTH: strict reverse mathematics
An extreme kind of logic skeptic claims that "the present formal systems used for the foundations of mathematics are artificially strong, thereby causing unnecessary headaches such as the Gödel incompleteness phenomena". The skeptic continues by claiming that "logician's systems always contain overly general assertions, and/or assertions about overly general notions, that are not used in any si...
متن کاملThe Y - hierarchy for PCF is strict ( Draft version )
Let PCFk denote the sublanguage of Plotkin’s PCF in which fixed point operators Yσ are admitted only for types σ of level at most k. We show that the languages PCFk form a strict hierarchy as regards expressivity, in the sense that for each k, there are closed programs of PCFk+1 that are not observationally equivalent to any programs of PCFk. This answers positively a question posed by Berger i...
متن کاملOn the (semi)lattices induced by continuous reducibilities
Studying discontinuity of functions is an interesting topic on its own, an observation that is fortified by noting that continuity behaves similar to computability in the framework of computable analysis. This suggests to compare the discontinuity of functions through continuous reducibilities. In the present paper, a continuous version of bounded Turing reducibility (≤2) and a continuous versi...
متن کاملSeparating the Fan Theorem and Its Weakenings
Varieties of the Fan Theorem have recently been developed in reverse constructive mathematics, corresponding to different continuity principles. They form a natural implicational hierarchy. Some of the implications have been shown to be strict, others strict in a weak context, and yet others not at all, using disparate techniques. Here we present a family of related Kripke models which suffices...
متن کاملDraft Genome Sequence of the Strict Anaerobe Clostridium neopropionicum X4 (DSM 3847T).
Here, we report the draft genome sequence ofClostridium neopropionicumX4 (DSM 3847(T)), a strictly anaerobic bacterium capable of fermenting ethanol and CO2to propionate, acetate, and propanol. The genome consists of a single chromosome (3.19 Mb).
متن کامل